The implication problem for ‘closest node’ functional dependencies in complete XML documents
نویسندگان
چکیده
منابع مشابه
The Implication Problem for Functional Dependencies in Complete Xml Documents
With the growing use of XML as a format for the permanent storage of data, the study of functional dependencies in XML (XFDs) is of fundamental importance in understanding how to effectively design XML databases without redundancy or update problems. We investigate a central problem in dependency theory, that of determining when a set of XFDs logically implies another XFD in the context of XML ...
متن کاملThe Implication Problem for Unary Functional Dependencies in XML
XML is of great importance in information storage and retrieval because of its recent emergence as a standard for data representation and interchange on the Internet. However XML provides little semantic content and as a result several papers have addressed the topic of how to improve the semantic expressiveness of XML. Among the most important of these approaches has been that of deening integ...
متن کاملSolving the Implication Problem for XML Functional Dependencies with Properties
Due to the complex nature of XML, finding classes of integrity constraints for XML data that are both expressive and practical is an important but challenging task. In this paper, we study a class of XML functional dependencies (called pXFDs) defined on the basis of tree homomorphism. We establish a semantic equivalence between the implications problems for pXFDs and for propositional Horn clau...
متن کاملAn Axiom System for Functional Dependency Implication in Complete XML Documents I - Soundness
With the growing use of XML as a format for the permanent storage of data, the study of functional dependenciesin XML (XFDs) is of fundamental importance in understanding how to effectively design XML databases withoutredundancy or update problems. In this article we investigate the implication problem, that is determining when a setof integrity constraints logically implies another...
متن کاملAn Axiom System for Functional Dependency Implication in Complete XML Documents II - Completeness
With the growing use of XML as a format for the permanent storage of data, the study of functional dependencies in XML (XFDs) is of fundamental importance in understanding how to effectively design XML databases without redundancy or update problems. In this article we investigate the implication problem, that is determining when a set of integrity constraints logically implies another integrit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 2012
ISSN: 0022-0000
DOI: 10.1016/j.jcss.2012.01.003